Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
201	Optimal Sampling Laws for Stochastically Constrained Simulation Optimization on Finite Sets Susan R. Hunter, Raghu Pasupathy The Grado Department of Industrial and Systems Engineering, Virginia Tech, Blacksburg, VA 24061 Add to Reading List Source URL: scholar.lib.vt.edu Language: English - Date: 2011-03-16 16:23:05 Mathematics Convex optimization Linear programming Constraint Entailment Operations research Logic Mathematical optimization
202	The Department of Automatic Control & Systems Engineering is pleased to announce the following seminar: Assignment Algorithms for Large-Scale Target Tracking Speaker: Prof. T. Kirubarajan Department of Electrical and Com Add to Reading List Source URL: www.sheffield.ac.uk Language: English - Date: 2011-07-19 20:20:24 Applied mathematics Algorithm Mathematical logic Theoretical computer science Assignment problem Mathematics Combinatorial optimization Matching
203	Intrinsic Property-based Taxonomic Relation Extraction from Category Structure DongHyun Choi and Eun-Kyung Kim and Sang-Ah Shim and Key-Sun Choi Semantic Web Research Center KAIST cdh4696, kekeeo, sashim, [removed] Add to Reading List Source URL: semanticweb.kaist.ac.kr Language: English - Date: 2011-02-28 02:43:35 Graph theory Theoretical computer science Algorithm Mathematical logic Automatic summarization Matching Graph Mathematics Applied mathematics Combinatorial optimization
204	Analyzing Infeasible Optimization Models John W. Chinneck Systems & Computer Engineering Carleton University Ottawa, Canada Add to Reading List Source URL: www.sce.carleton.ca Language: English - Date: 2004-05-25 08:57:34 Applied mathematics Mathematics Linear programming Constraint Logic programming Mathematical analysis Operations research Mathematical optimization Convex optimization
205	Analyzing Mathematical Programs using MProbe John W. Chinneck Systems and Computer Engineering Carleton University 1125 Colonel By Drive Ottawa, Ontario K1S 5B6 Add to Reading List Source URL: www.sce.carleton.ca Language: English - Date: 2000-04-14 10:05:16 Operations research Convex optimization Convex analysis Mathematical modeling Convex function Linear programming Nonlinear programming Duality Constraint logic programming Mathematical optimization Mathematics Mathematical analysis
206	Microsoft Word - power18.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-07-10 18:57:40 Electronic design Integrated circuits And-inverter graph Field-programmable gate array Logic synthesis Logic gate Sequential logic Power optimization CMOS Electronic engineering Electronic design automation Digital electronics
207	P ROCEEDINGS OF THE ERCIM Workshop on Constraint Solving and Constraint Logic Programming, 2011 http://csclp2011.cs.st-andrews.ac.uk April 12th-13th, 2011 Editors Add to Reading List Source URL: csclp2011.cs.st-andrews.ac.uk Language: English - Date: 2011-04-11 08:39:34 Computer programming Constraint satisfaction Constraint logic programming Logic programming Answer set programming Mathematical optimization Oz ECLiPSe Constraint graph Constraint programming Software engineering Declarative programming
208	Microsoft Word - haig09.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-03-23 19:52:58 Electronic design automation Electronic design Logic in computer science And-inverter graph Retiming Logic optimization Combinational logic Automatic test pattern generation Logic programming Electronic engineering Formal methods Digital electronics
209	Microsoft Word - haig14.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-05-20 20:12:25 Digital electronics Electronic design And-inverter graph Retiming Logic optimization Automatic test pattern generation Combinational logic Formal verification Logic programming Electronic engineering Formal methods Electronic design automation
210	TALplanner: A Temporal Logic Based Planner Patrick Doherty and Jonas Kvarnstr¨om Abstract Talplanner is a forward-chaining planner which utilizes domain-dependent knowledge to control search in the state Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:12:31 Planner Mathematical optimization Temporal logic Software engineering Computing Artificial intelligence Automated planning and scheduling Logic programming

UPDATE